<?php
$file = "demo47.txt";
$count = 0;
file_put_contents($file,$count);
$key = ftok("47.php","x");
$sem_id = sem_get($key,1);

$pid = pcntl_fork();
if ($pid==0){
    sem_acquire($sem_id);
    $x = (int)file_get_contents($file);
    for ($i=0;$i<1000;$i++){
        $x+=1;
    }
    file_put_contents($file,$x);
    sem_release($sem_id);
    exit(0);
}
sem_acquire($sem_id);
$x = (int)file_get_contents($file);
for ($i=0;$i<1000;$i++){
    $x+=1;
}

file_put_contents($file,$x);
sem_release($sem_id);
